Closed-loop incremental stability for efficient symbolic control of non-linear systems
نویسندگان
چکیده
In this paper, we introduce a hybridization-based feedback control synthesis method for potentially unstable nonlinear continuous-time systems. We construct discretization and that ensures dissipation form of incremental input-to-state stability property number abstraction-based methods rely on or benefit from. This enables the use these also case systems, to achieve reachability temporal logic specification. furthermore show algorithm can improve do not assumptions by reducing constructed abstract states non-deterministic transitions. illustrate benefits our approach in simulations featuring cart-pendulum.
منابع مشابه
Open-loop and Closed-loop Optimization of Linear Control Systems
A canonical optimal control problem for linear systems with timevarying coefficients is considered in the class of discrete controls. On the basis of linear programming methods, two primal and two dual methods of constructing optimal open-loop controls are proposed. A method of synthesis of optimal feedback control is described. Results are illustrated by a fourth-order problem; estimates of ef...
متن کاملDelay - Dependent Closed - Loop Stability of Linear Systems
This paper focuses on the problem of computing a control law which maximizes (in a sub-optimal sense) the delay of the closed-loop system for a class of linear systems with delayed input. The delay is assumed to be a continuous bounded time-varying function. The analysis is given using two diierent approaches: a Razumikhin based method and a frequency-ltering based method.
متن کاملClosed-loop iterative learning control for non-linear systems with initial shifts
This paper is concerned with the problem of the iterative learning control with current cycle feedback for a class of non-linear systems with well-defined relative degree. The tracking error caused by a non-zero initial shift is detected as extended D-type learning algorithm is applied. The defect is overcome by adding terms including the output error, its derivatives as well as integrals. Asym...
متن کاملClosed-loop Transient Stability Emergency Control
The question of transient stability control is revisited, various types of controls are identified, and a general approach to closed-loop emergency control is proposed. The focus is on feasibility aspects, general salient features and illustration of stabilization capabilities of an emergency control scheme relying on generation shedding.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC-PapersOnLine
سال: 2021
ISSN: ['2405-8963', '2405-8971']
DOI: https://doi.org/10.1016/j.ifacol.2021.08.485